padre(elena,juancarlos).
padre(cristina,juancarlos).
padre(felipe,juancarlos).
madre(elena,sofia).
madre(cristina,sofia).
madre(felipe,sofia).
padre(leonor,felipe).
madre(leonor,letizia).
madre(letizia,ana).
hermanos(X,Y):-padre(X,Z),padre(Y,Z),X\=Y.
abuelo(X,Y):-padre(X,Z),padre(Z,Y).
abuela(X,Y):-madre(X,Z),madre(Z,Y).
hombre(pedro).
hombre(manuel).
hombre(arturo).
mujer(maria).
padre(pedro,manuel).
padre(pedro,arturo).
padre(pedro,maria).
nino(X,Y):-padre(Y,X).
hijo(X,Y):-padre(Y,X),hombre(X).
hija(X,Y):-padre(Y,X),mujer(X).
hermano_o_hermana(X,Y):-padre(Z,X),padre(Z,Y),X\=Y.
hermano(X,Y):-padre(Z,X),padre(Z,Y),hombre(X),X\=Y.
hermana(X,Y):-padre(Z,X),padre(Z,Y),mujer(X),X\=Y.